Cartan's theorems A and B